int VerificarExistenciaDiscoSincronizados();
void intacad ( int n , char* cadena);
void *syncer(void *args);
void reallocateoperations(disco *dsk);
void * HiloDeDisco ();
void * EnviarPedidos (void * pNodoDisco);